Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
451	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
452	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
453	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
454	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science
455	Univalent Foundation and Constructive Mathematics Thierry Coquand Oberwolfach, November 18, 2014 Univalent Foundation and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-11-22 08:17:10 Algebra Category theory Algebraic structures Higher category theory Groupoid Symmetry Constructivism Category Mathematical logic Abstract algebra Mathematics Homotopy theory
456	A cross-linguistic study of the non-at-issueness of exhaustive inferences Emilie Destruel, Daniel Velleman, Edgar Onea, Dylan Bumford, Jingyang Xue and David Beaver Abstract Several constructions have been noted to asso Add to Reading List Source URL: www.velleman.org Language: English - Date: 2015-06-08 20:36:05 Linguistics Science Scalar implicature Presupposition Implicature Entailment Yes and no Psycholinguistics Pragmatics Logic Inference
457	Numerical Subdivision Methods in Motion Planning Yi-Jen Chiang and Chee Yap KEY: Abstract— We propose to design new algorithms for motion Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:24 Applied mathematics Motion planning Closed and exact differential forms Algorithm Constructible universe Ordinal number Theoretical computer science Mathematics Mathematical logic
458	Yosys Manual Clifford Wolf Abstract Most of today’s digital design is done in HDL code (mostly Verilog or VHDL) and with the help of HDL synthesis tools. Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:28 Electronic design Digital electronics Verilog Logic synthesis VHDL Field-programmable gate array High-level synthesis Application-specific integrated circuit Register-transfer level Electronic engineering Electronic design automation Hardware description languages
459	Thinking Is Believing Abstract The idea that people can entertain propositions without believing them is widespread, intuitive, and most probably false. The main goal of this essay is to argue against the claim that peop Add to Reading List Source URL: people.fas.harvard.edu Language: English - Date: 2012-10-24 23:07:07 Belief Concepts Social philosophy Epistemology Doxastic logic Jerry Fodor Propositional attitude Negation Cartesian doubt Knowledge Philosophy Critical thinking
460	Microsoft Word - Jenkins IMAGE abstract.doc Add to Reading List Source URL: image-society.org Language: English - Date: 2015-03-04 06:22:44 Operations research Simulation Driving simulator Logic simulation Modeling and simulation Virtual reality Network simulation Hardware-in-the-loop simulation Electronic engineering Electronic design automation Digital electronics

UPDATE